@PHDTHESIS{ARECES:thesis,
  author = {C. Areces},
  title = {Logic Engineering. The Case of Description and Hybrid Logics},
  school = {Institute for Logic, Language and Computation},
  year = {2000},
  address = {University of Amsterdam},
  note = {ILLC Dissertation Series 2000--5},
}


@incollection{grice75,
  AUTHOR = {P. Grice},
  TITLE = {Logic and Conversation},
  YEAR = 1975,
  BOOKTITLE = {Syntax and Semantics: Vol. 3: Speech Acts},
  EDITOR = {P. Cole and J. Morgan},
  PUBLISHER = {Academic Press},
  PAGES = {41-58}
}

@proceedings{DBLP:conf/dlog/2003handbook,
  editor    = {F. Baader and
               D. Calvanese and
               D. McGuinness and
               D. Nardi and
               P. Patel-Schneider},
  title     = {The Description Logic Handbook: Theory, Implementation,
               and Applications},
  booktitle = {Description Logic Handbook},
  publisher = {Cambridge University Press},
  year      = {2003},
  isbn      = {0-521-78176-0},
}

@inproceedings{beno:acl11,
   author = {L. Benotti and A. Denis},
   title = {Prototyping virtual instructors from human-human corpora},
   booktitle = {Proc.~of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies},
   pages = {62--67},
   address = {Portland, USA},
   publisher = {ACL Anthology},
   year = 2011,
}

@InProceedings{racc:ENLG11,
  author    = {D. Racca and  L. Benotti and  P. Duboue},
  title     = {The GIVE-2.5 C Generation System},
  booktitle = {Proceedings of the Generation Challenges Session at the 13th European Workshop on Natural Language Generation},
  month     = {September},
  year      = {2011},
  address   = {Nancy, France},
  publisher = {Association for Computational Linguistics},
  pages     = {290--295},
  url       = {http://www.aclweb.org/anthology/W11-2848}
}

@mastersthesis{raccathesis,
    author = {D. Racca},
    title = {Integraci\'on de {T}\'ecnicas de \emph{{G}rounding} en {I}nstructores {V}irtuales {C}olaborativos},
    year = 2012,
    school = {Facultad de {M}atem\'atica, {A}stronom\'ia y {F}\'isica, {U}niversidad {N}acional de {C}\'ordoba}
}

@InProceedings{stri:ENLG11,
  author    = {K. Striegnitz and  A. Denis and  A. Gargett and  K. Garoufi and A. Koller and M. Theune},
  title     = {Report on the Second Second Challenge on Generating Instructions in Virtual Environments ({GIVE-2.5})},
  booktitle = {Proc.~of the European Conference in Natural Language Generation (ENLG 2011)},
  address   = {Nancy, France},
  publisher = {ACL},
  year = 2011,
  pages     = {270--279}
}

@article{dale95,
  title={Computational interpretations of the Gricean maxims in the generation of referring expressions},
  author={R. Dale and E. Reiter},
  journal={Cognitive Science},
  volume={19},
  number={2},
  pages={233--263},
  year={1995},
  publisher={Elsevier}
}

@Book{clark96,
  author = {H. Clark},
  publisher = {Cambridge University Press},
  title = {Using Language},
  year = {1996}
}

@incollection{kehler04,
  year = {2004},
  author = {A. Kehler},
  title = {Discourse Coherence},
  pages = {241--265},
  editors = {L. Horn and G. Ward},
  booktitle = {The Handbook of Pragmatics},
  publisher = {Blackwell},
}

@PhDThesis{devault08,
  author = {D. DeVault},
  school = {Department of Computer Science, Rutgers, The
State University of New Jersey, New Brunswick, USA},
  title = {Contribution Tracking: Participating in Task-Oriented Dialogue under
Uncertainty},
  year = 2008
}

@Book{ginzburg09,
  author = {J. Ginzburg},
  publisher = {CSLI Publications},
  title = {The interactive Stance: Meaning for Conversation},
  year = {2009},
  note = {In Press}
}

@INPROCEEDINGS{kautz99,
  AUTHOR = {H. Kautz and B. Selman},
  TITLE = {Unifying {SAT}-based and Graph-based Planning},
  BOOKTITLE = {Proc of the IJCAI},
  YEAR = 1999,
  PAGES = {318--325}
}

@Article{hoffmann01,
  author =   {J. Hoffmann and B. Nebel},
  title =    {The {FF} Planning System: Fast Plan Generation Through Heuristic Search},
  journal =      {JAIR},
  year =     {2001},
  volume =   {14},
  pages =    {253-302}
}

@book{nau04,
 author = {D. Nau and M. Ghallab and P. Traverso},
 title = {Automated Planning: Theory \& Practice},
 year = {2004},
 isbn = {1558608567},
 publisher = {Morgan Kaufmann Publishers Inc.}
 }

@PhDThesis{petrick06,
  author =  {R. Petrick},
  title =   {A Knowledge-level approach for effective acting, sensing, and
planning},
  school =  {Department of Computer Science, University of Toronto},
  year =    2006
}

@book{Jones96,
 author = {K. Jones and J. Galliers},
 title = {Evaluating Natural Language Processing Systems: An Analysis and Review},
 year = {1996},
 isbn = {3540613099},
 publisher = {Springer-Verlag New York, Inc.}
 }

@book{Dybkjaer07,
 author = {L. Dybkjaer and H. Hemsen and W. Minker},
 title = {Evaluation of Text and Speech Systems},
 year = {2007},
 publisher = {Springer Publishing Company, Incorporated}
 }

@incollection{Petrie09,
	AUTHOR       = {H. Petrie and N. Bevan},
	booktitle        = {The Universal Access Handbook},
	title      = {The evaluation of accessibility, usability and user experience},
	PUBLISHER    = {CRC Press},
    note         = {In press},
	YEAR         = {2009},
	EDITOR       = {C. Stephanidis},
}

@inproceedings{leuski2010npceditor,
  title={NPCEditor: A tool for building question-answering characters},
  author={A. Leuski and D. Traum},
  booktitle={Proceedings of The 7th International Conference on Language Resources and Evaluation},
  year={2010}
}

@inproceedings{kenny2007building,
  title={Building interactive virtual humans for training environments},
  author={P. Kenny and A. Hartholt and J. Gratch and W. Swartout and D. Traum and S. Marsella and D. Piepol},
  booktitle={The Interservice/Industry Training, Simulation \& Education Conference (I/ITSEC)},
  volume={2007},
  year={2007},
  organization={NTSA}
}

@article{schegloff87b,
  pages = {201--218},
  year = {1987},
  volume = {8},
  title = {Some Sources of Misunderstanding in Talk-in-Interaction},
  journal = {Linguistics},
  author = {E. Schegloff}
}

@Book{austin62,
	title = "How to do Things with Words",
	author = "J. Austin",
	publisher = "Oxford University Press",
	address = "New York",
	year = 1962
}

@incollection{beno:hci12,
year={2012},
isbn={978-3-642-33943-1},
booktitle={Human-Computer Interaction, Tourism and Cultural Heritage},
volume={7546},
series={Lecture Notes in Computer Science},
editor={F. Cipolla-Ficarra and K. Veltman and H. Chih-Fang and M. Cipolla-Ficarra and A. Kratky},
doi={10.1007/978-3-642-33944-8_13},
title={Building Virtual Guides for Virtual Worlds},
url={http://dx.doi.org/10.1007/978-3-642-33944-8_13},
publisher={Springer Berlin Heidelberg},
keywords={Virtual Agents; Rapid Prototyping; Virtual Environments},
author={L. Benotti and A. Denis},
pages={144-153}
}

@incollection{beno:context2013,
year={2013},
booktitle={Context 2013},
volume={7546},
series={Lecture Notes in Artificial Intelligence},
editor={Springer},
title={Evaluation of a refinement algorithm for the generation of referring expressions},
publisher={Springer Berlin Heidelberg},
keywords={Referring expressions; machine learning; evaluation},
author={L. Benotti and R. Altamirano},
pages={144-153}
}


@incollection{beno:aaa11,
year={2011},
isbn={978-3-642-25323-2},
booktitle={Advances in Artificial Intelligence},
volume={7094},
series={Lecture Notes in Computer Science},
editor={Batyrshin, Ildar and Sidorov, Grigori},
doi={10.1007/978-3-642-25324-9_30},
title={Content Determination through Planning for Flexible Game Tutorials},
url={http://dx.doi.org/10.1007/978-3-642-25324-9_30},
publisher={Springer Berlin Heidelberg},
author={L. Benotti and N. Bertoa},
pages={345-356}
}

@INPROCEEDINGS{arec:dial10,
 author = {L. Benotti and P. Estrella and C. Areces},
 title = {Dialogue Systems for Virtual Environments},
 booktitle = {Proceedings of the NAACL-HLT 2010 Young Investigators Workshop on
       Computational Approaches to Languages of the Americas Workshop},
 year = {2010},
 organization = {Association of Computational Linguistics},
 abstract = {We present an on-going research project carried out at
the Universidad
       Nacional de Cordoba in Argentina. This project investigates theoretical
       and practical research questions related to the development of a
       dialogue system situated in a virtual environment. We describe the
       PLN research group in which this project is being developed and,
       in particular, we spell out the areas of expertise of the authors.
       Moreover, we discuss relevant past, current and future collaborations
       of the research group.},
 owner = {areces},
 timestamp = {2011.11.22}
}

@INPROCEEDINGS{arec:refe08,
  author = {C. Areces and A. Koller and K. Striegnitz},
  title = {Referring Expressions as Formulas of Description Logic},
  booktitle = {Proceedings of the 5th International Natural Language Generation},
  year = {2008},
  address = {Salt Fork, OH, USA},
}

@INPROCEEDINGS{arec:usin11,
 author = {C. Areces and S. Figueira and D. Gor\'{\i}n},
 title = {Using Logic in the Generation of Referring Expressions},
 booktitle = {Proceedings of the 6th International Conference on
Logical Aspects
       of Computational Linguistics (LACL 2011)},
 year = {2011},
 editor = {Pogodalla, S. and Prost, J.},
 volume = {6736},
 series = {Lecture Notes in Computer Science},
 pages = {17-32},
 address = {Montpelier},
 month = {June},
 publisher = {Springer},
 abstract = {The problem of generating referring expressions (GRE) is
an important
       task in natural language generation. In this paper, we advocate for
       the use of logical languages in the output of the content determination
       phase (i.e., when the relevant features of the object to be referred
       are selected). Many difeerent logics can be used for this and we
       argue that, for a particular application, the actual choice shall
       constitute a compromise between expressive power (how many objects
       can be distinguished), computational complexity (how dificult it
       is to determine the content) and realizability (how often will the
       selected content
       be realized to an idiomatic expression). We show that well-known results
       from the area of computational logic can then be transferred to GRE.
       Moreover, our approach is orthogonal to previous proposals and we
       illustrate this by generalizing well-known content-determination
       algorithms to make them parametric on the logic employed.},
 bibsource = {DBLP, http://dblp.uni-trier.de},
 ee = {http://dx.doi.org/10.1007/978-3-642-22221-4_2}
}

@InProceedings{altamirano-areces-benotti:2012:POSTERS,
  author    = {R. Altamirano and  C. Areces  and  L. Benotti},
  title     = {Probabilistic Refinement Algorithms for the Generation of Referring Expressions},
  booktitle = {Proceedings of COLING 2012: Posters},
  month     = {December},
  year      = {2012},
  address   = {Mumbai, India},
  publisher = {The COLING 2012 Organizing Committee},
  pages     = {53--62},
  url       = {http://www.aclweb.org/anthology/C12-2006}
}

@InProceedings{ traum99,
	author = "D. Traum",
	booktitle = "working notes of {AAAI} {F}all {S}ymposium on {P}sychological {M}odels of {C}ommunication",
	month = nov,
	pages = "124--131",
	title = "Computational {M}odels of {G}rounding in {C}ollaborative {S}ystems",
	year = 1999
}

@InProceedings{ benotti09a,
	title = "A computational account of comparative implicatures for a
spoken dialogue agent",
	booktitle = "Proceedings of the Eighth International Conference on Computational Semantics
(IWCS-8)",
	author = "L. Benotti and D. Traum",
	address = "Tilburg, The Netherlands",
	month = "January",
	year = "2009"
}

@incollection{beno:mus11,
year={2011},
isbn={978-3-642-24278-6},
booktitle={Modeling and Using Context},
volume={6967},
series={Lecture Notes in Computer Science},
editor={Beigl, Michael and Christiansen, Henning and Roth-Berghofer, ThomasR. and Kofod-Petersen, Anders and Coventry, KennyR. and Schmidtke, HeddaR.},
doi={10.1007/978-3-642-24279-3_4},
title={Classical Planning and Causal Implicatures},
url={http://dx.doi.org/10.1007/978-3-642-24279-3_4},
publisher={Springer Berlin Heidelberg},
author={L. Benotti and P. Blackburn},
pages={26-39}
}

@InProceedings{benotti-EtAl:2012:ACL2012short,
  author    = {L. Benotti and  M. Villalba and  T. Lau and  J. Cerruti},
  title     = {Corpus-based Interpretation of Instructions in Virtual Environments},
  booktitle = {Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers)},
  month     = {July},
  year      = {2012},
  address   = {Jeju Island, Korea},
  publisher = {Association for Computational Linguistics},
  pages     = {181--186},
  url       = {http://www.aclweb.org/anthology/P12-2036}
}

@INPROCEEDINGS{arec:whic09,
  author = {C. Areces and D. Figueira},
  title = {Which Semantics for Neighbourhood Semantics?},
  booktitle = {Proceedigns of IJCAI 09},
  year = {2009},
  pages = {671--676},
  address = {Pasadena, California, USA},
  abstract = {In this article we discuss two alternative proposals for neighbourhood
	semantics (which we call strict and loose neighbourhood semantics,
	N_= and N_\subseteq respectively) that have been previously introduced
	in the literature. Our main tools are suitable notions of bisimulation.
	While an elegant notion of bisimulation exists for N_\subseteq, the
	required bisimulation for N_= is rather involved. We propose a simple
	extension of N_= with a universal modality that we call N_=(E), which
	comes together with a natural notion of bisimulation. We also investigate
	the complexity of the satisfiability problem for N_\subseteq and
	N_=(E).},
}

@book{sutton98,
   author = {R. Sutton and A. Barto},
   howpublished = {Hardcover},
   isbn = {0262193981},
   keywords = {learning, markov-decision-processes, reinforcement-learning},
   month = mar,
   publisher = {The MIT Press},
   title = {{Reinforcement Learning: An Introduction}},
   year = {1998}
}

@InProceedings{williams:2012:SDCTD,
  author    = {J. Williams},
  title     = {A belief tracking challenge task for spoken dialog systems},
  booktitle = {NAACL-HLT Workshop on Future directions and needs in the Spoken Dialog Community: Tools and Data (SDCTD 2012)},
  month     = {June},
  year      = {2012},
  address   = {Montr{\'e}al, Canada},
  publisher = {Association for Computational Linguistics},
  pages     = {23--24},
  url       = {http://www.aclweb.org/anthology/W12-1812},
  abstract = {Belief tracking is a promising technique for
adding robustness to spoken dialog systems,
but current research is fractured across different teams, techniques, and domains. This paper ampliﬁes past informal discussions (Raux,
2011) to call for a belief tracking challenge
task, based on the Spoken dialog challenge
corpus (Black et al., 2011). Beneﬁts, limitations, evaluation design issues, and next steps
are presented.}
}
